Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
331	BRICS Basic Research in Computer Science BRICS RSU. Kohlenbach: On the No-Counterexample Interpretation On the No-Counterexample Interpretation Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-16 09:12:20 Mathematical logic Logic Proof theory Computability theory Mathematics Constructivism Primitive recursive functional First-order logic Symbol Primitive recursive function Primitive recursive arithmetic Realizability
332	Appendix by D. Zagier The Eichler-Selberg Trace Formula on SLiZ) Throughout this appendix we let r=r(1)=SL 2 (Z). We let Fbe a fundamental domain for r in D. We fix a weight k even ~4. We write T(m) instead of Tk(m) for Add to Reading List Source URL: people.mpim-bonn.mpg.de Language: English - Date: 2014-05-15 08:11:02 Mathematical analysis Mathematics Operator theory Complex analysis Harmonic analysis Integral calculus Order of integration Moduli theory Singular integral operators of convolution type Oscillator representation
333	Fall 2014 Undergraduate Philosophy Department Courses PHIL-UA 1; Central Problems in Philosophy; M/W 9:30-10:45; James Pryor http://intro.jimpryor.net This course is an introduction to the methods of contemporary philoso Add to Reading List Source URL: www.nyu.edu Language: English - Date: 2014-08-30 22:55:28 Logic Philosophy Mathematical logic Philosophical logic Non-classical logic Branches of philosophy Model theory Modal logic Saul Kripke First-order logic Propositional calculus Epistemic modal logic
334	Preliminaries Well-partial orders Well-scattered partial orders Add to Reading List Source URL: www.math.tohoku.ac.jp Language: English - Date: 2014-02-24 11:17:14 Order theory Mathematics Linear extension Mathematical analysis Structure
335	New Hadamard Matrices of Order 4p2 obtained from Jacobi Sums of Order 16 ∗ Ka Hin Leung Department of Mathematics National University of Singapore Kent Ridge, Singapore Add to Reading List Source URL: www.ntu.edu.sg Language: English - Date: 2005-05-12 04:36:00 Algebra Abstract algebra Mathematics Commutative algebra Integral element Ring theory Algebraic number theory Closed and exact differential forms Table of stars with Bayer designations Symbol
336	Learning commutativity specifications a ct * Consi se Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2015-05-29 09:22:24 Logic Model theory Mathematical logic Metalogic First-order logic Constructible universe Type NIP Structure Confidence interval Well-formed formula Linear temporal logic
337	Uncertain<T>: A First-Order Type for Uncertain Data Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-01-10 00:11:41 Statistics Statistical theory Statistical inference Bayesian statistics Statistical models Measurement Bayesian network Probability distribution Bayesian inference Normal distribution Global Positioning System Confidence interval
338	PLTL Lesson Plan Last Edited: August 19, 2015 Topic: Sorting Algorithms – Bubble Sort and Insertion Sort Activity Guidelines Add to Reading List Source URL: cahsi.cs.utep.edu Language: English - Date: 2015-08-19 15:21:39 Sorting algorithms Order theory Mathematics Combinatorics Bubble sort Insertion sort Sorting Sort
339	Introduction to Algorithms Lecture 10 Prof. Piotr Indyk Add to Reading List Source URL: courses.csail.mit.edu Language: English - Date: 2011-03-31 12:24:56 Sorting algorithms Order theory Mathematics Computer programming Merge sort B-tree Heapsort Insertion sort Comparison sort Tree Decision tree model Time complexity
340	On strong standard completeness of MTLQ ∗ expansions Amanda Vidal1 , Lluis Godo1 , and Francesc Esteva1 Artificial Intelligence Research Institute (IIIA - CSIC), Spain, [amanda][godo][esteva]@iiia.csic.es Add to Reading List Source URL: logica.dmi.unisa.it Language: English - Date: 2015-05-04 03:55:14 Fuzzy logic Mathematical logic Model theory Metalogic Proof theory Monoidal t-norm logic BL ukasiewicz logic First-order logic Completeness Axiom Metamathematics

UPDATE